Eeective Use of Memory in Linear Space Best Rst Search

Classical best-rst search algorithms like A* require space exponential in length of the solution path. To overcome this limitation algorithms like IDA* and RBFS regenerate parts of problem space trading space for time. These algorithms are probably too modest using only a tiny amount of memory today's computers can ooer. We present a novel, RBFS based algorithm which uses all available memory. This is achieved by keeping the generated nodes in memory and pruning some of them away when the memory runs out. We describe three pruning methods and experiments con-rming the advantage of our approach.